Definition des
... ... ... Operateur(MachineAdressographe) (*)
Zerstarten